COMMENT ā VALID 00002 PAGES C REC PAGE DESCRIPTION C00001 00001 C00002 00002 (TML) C00003 ENDMK Cā; (TML) %definitions needed in list stack problem in new system% "F:d->d";; "F1:d->d->dlist->d";; "f:d->d";; "x:d";; "P:d->tr";; "h:d # d -> d";; "g1:d->d";; "g2:d->d";; "z:d";; "s:dlist";; "Exp:(d->d)->(d#d->d)->d->d->dlist->d";; "e:d";;